Step of Proof: less-fast-fib-opt
11,40
postcript
pdf
Inference at
*
1
I
of proof for Lemma
less-fast-fib-opt
:
TERMOF{
less-fast-fib
:ObjectId, \\v:l}
(
n
:
. {
m
:
|
m
= fib(
n
)} )
latex
by Auto
latex
.
Definitions
less-fast-fib
,
t
T
Lemmas
less-fast-fib
origin
TERMOF{less-fast-fib:ObjectId, \\v:l} 
(
n:
. {m:| m = fib(n)} )
by Auto
. TERMOF{less-fast-fib:ObjectId, \\v:l} (n:. {m:| m = fib(n)} )
by Auto
. T